More from this Author
Found 17 books by Tiziana Margaria (Editor)

Leveraging Applications of Formal Methods, Verification and Validation
by Tiziana Margaria (Editor), Bernhard Steffen (Editor)

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques
by Tiziana Margaria (Editor), Bernhard Steffen (Editor)

Tools and Algorithms for the Construction and Analysis of Systems
by Tiziana Margaria (Editor), Bernhard Steffen (Editor)

Tools and Algorithms for the Construction and Analysis of Systems
by Tiziana Margaria (Editor), Wang Yi (Editor)

Software Process Improvement
by Pekka Abrahamsson (Editor), Nathan Baddoo (Editor), Tiziana Margaria (Editor), Richard Messnarz (Editor)

Tools and Algorithms for the Construction and Analysis of Systems
by Axel Legay (Editor), Tiziana Margaria (Editor)

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications
by Tiziana Margaria (Editor), Bernhard Steffen (Editor)

Semantic Web Services Challenge
by Charles J. Petrie (Editor), Tiziana Margaria (Editor), Holger Lausen (Editor), Michal Zaremba (Editor)

SOFSEM 2017: Theory and Practice of Computer Science
by Bernhard Steffen (Editor), Christel Baier (Editor), Mark van den Brand (Editor), Johann Eder (Editor), Mike Hinchey (Editor), Tiziana Margaria (Editor)

Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications
by Tiziana Margaria (Editor), Bernhard Steffen (Editor)

Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems
by Tiziana Margaria (Editor), Bernhard Steffen (Editor)

Process Design for Natural Scientists
by Anna-Lena Lamprecht (Editor), Tiziana Margaria (Editor)

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques
by Tiziana Margaria (Editor), Bernhard Steffen (Editor)

Correct Hardware Design and Verification Methods
by Tiziana Margaria (Editor), Tom Melham (Editor)

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change
by Tiziana Margaria (Editor), Bernhard Steffen (Editor)

Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications
by Tiziana Margaria (Editor), Bernhard Steffen (Editor)

Leveraging Applications of Formal Methods, Verification, and Validation
by Reiner Hähnle (Editor), Jens Knoop (Editor), Tiziana Margaria (Editor), Dietmar Schreiner (Editor), Bernhard Steffen (Editor), Reiner Hähnle (Editor)